package systemfnomabss

case class TypeExc(message:String) extends Exception(message)
trait TypeChecker { self: TypeChecker with TypeSubstitutionProvider with PrettyPrinter with AbstractSyntax =>
  def typeOf(t: LTerm) :LType
}